2
Logics and Type Systems in Theory and Practice

Logics and Type Systems in Theory and Practice

Gerhard Goos, Juris Hartmanis
సంవత్సరం:
2024
భాష:
english
ఫైల్:
PDF, 7.06 MB
0 / 5.0
english, 2024
3
WALCOM: Algorithms and Computation

WALCOM: Algorithms and Computation

Chun-Cheng Lin & Bertrand M. T. Lin & Giuseppe Liotta & Gerhard Goos & Juris Hartmanis & Elisa Bertino & Wen Gao & Bernhard Steffen & Moti Yung
సంవత్సరం:
2023
భాష:
english
ఫైల్:
PDF, 9.73 MB
0 / 5.0
english, 2023
4
Medical Image Learning with Limited and Noisy Data

Medical Image Learning with Limited and Noisy Data

Gerhard Goos, Juris Hartmanis
సంవత్సరం:
2023
భాష:
english
ఫైల్:
PDF, 40.59 MB
0 / 5.0
english, 2023
5
Computational Science and Its Applications – ICCSA 2022 Part I

Computational Science and Its Applications – ICCSA 2022 Part I

Osvaldo Gervasi, Beniamino Murgante, Eligius M. T. Hendrix, David Taniar, Bernady O. Apduhan, Gerhard Goos, Juris Hartmanis, Elisa Bertino, Wen Gao, Bernhard Steffen, Moti Yung
సంవత్సరం:
2022
భాష:
english
ఫైల్:
PDF, 71.48 MB
0 / 4.0
english, 2022
7
Feasible Computations and Provable Complexity Properties (CBMS-NSF Regional Conference Series in Applied Mathematics)

Feasible Computations and Provable Complexity Properties (CBMS-NSF Regional Conference Series in Applied Mathematics)

Juris Hartmanis
సంవత్సరం:
1987
భాష:
english
ఫైల్:
PDF, 4.61 MB
0 / 0
english, 1987
10
Computing and Combinatorics: 9th Annual International Conference, COCOON 2003 Big Sky, MT, USA, July 25-28, 2003 Proceedings

Computing and Combinatorics: 9th Annual International Conference, COCOON 2003 Big Sky, MT, USA, July 25-28, 2003 Proceedings

Goos, Gerhard, Hartmanis, Juris, Van Leeuwen, Jan
సంవత్సరం:
2003
భాష:
english
ఫైల్:
PDF, 3.80 MB
0 / 0
english, 2003
11
Formal Methods Teaching

Formal Methods Teaching

João F. Ferreira & Alexandra Mendes & Claudio Menghi & Gerhard Goos & Juris Hartmanis & Elisa Bertino & Wen Gao & Bernhard Steffen & Gerhard Woeginger & Moti Yung
సంవత్సరం:
2021
భాష:
english
ఫైల్:
PDF, 7.67 MB
0 / 0
english, 2021
13
Computational Complexity Theory

Computational Complexity Theory

Juris Hartmanis (ed.)
సంవత్సరం:
1989
భాష:
english
ఫైల్:
DJVU, 1.64 MB
0 / 0
english, 1989
14
Feasible Computations and Provable Complexity Properties (CBMS-NSF Regional Conference Series in Applied Mathematics)

Feasible Computations and Provable Complexity Properties (CBMS-NSF Regional Conference Series in Applied Mathematics)

Juris Hartmanis
సంవత్సరం:
1987
భాష:
english
ఫైల్:
DJVU, 374 KB
0 / 0
english, 1987
15
Algebraic structure theory of sequential machines (Prentice-Hall international series in applied mathematics)

Algebraic structure theory of sequential machines (Prentice-Hall international series in applied mathematics)

Juris Hartmanis
సంవత్సరం:
1966
భాష:
english
ఫైల్:
DJVU, 2.07 MB
0 / 0
english, 1966
18
Formal Methods Teaching

Formal Methods Teaching

João F. Ferreira & Alexandra Mendes & Claudio Menghi & Gerhard Goos & Juris Hartmanis & Elisa Bertino & Wen Gao & Bernhard Steffen & Gerhard Woeginger & Moti Yung
సంవత్సరం:
2021
భాష:
english
ఫైల్:
EPUB, 601 KB
0 / 0
english, 2021
21
Formal Techniques for Distributed Objects, Components, and Systems

Formal Techniques for Distributed Objects, Components, and Systems

Marieke Huisman & António Ravara & Gerhard Goos & Juris Hartmanis & Elisa Bertino & Wen Gao & Bernhard Steffen & Moti Yung
సంవత్సరం:
2023
భాష:
english
ఫైల్:
PDF, 6.81 MB
0 / 5.0
english, 2023
24
Formal Methods Teaching

Formal Methods Teaching

João F. Ferreira, Alexandra Mendes, Claudio Menghi, Gerhard Goos, Juris Hartmanis, Elisa Bertino, Wen Gao, Bernhard Steffen, Gerhard Woeginger, Moti Yung
సంవత్సరం:
2021
భాష:
english
ఫైల్:
AZW3 , 5.69 MB
0 / 0
english, 2021
25
Feasible Computations and Provable Complexity Properties (CBMS-NSF Regional Conference Series in Applied Mathematics)

Feasible Computations and Provable Complexity Properties (CBMS-NSF Regional Conference Series in Applied Mathematics)

Juris Hartmanis
సంవత్సరం:
1987
భాష:
english
ఫైల్:
DJVU, 894 KB
0 / 0
english, 1987
26
Lecture Notes in Computer Science

Lecture Notes in Computer Science

Gerhard Goos, Juris Hartmanis, Jan van Leeuwen
సంవత్సరం:
2008
భాష:
english
ఫైల్:
EPUB, 2.27 MB
0 / 0
english, 2008
27
Advances in Cryptology – CRYPTO 2022

Advances in Cryptology – CRYPTO 2022

Yevgeniy Dodis & Thomas Shrimpton & Gerhard Goos & Juris Hartmanis & Elisa Bertino & Wen Gao & Bernhard Steffen & Moti Yung
సంవత్సరం:
2022
ఫైల్:
PDF, 10.06 MB
0 / 0
2022
28
Feasible Computations and Provable Complexity Properties

Feasible Computations and Provable Complexity Properties

Juris Hartmanis
సంవత్సరం:
1987
భాష:
english
ఫైల్:
DJVU, 425 KB
0 / 0
english, 1987
29
Formal Methods Teaching

Formal Methods Teaching

João F. Ferreira & Alexandra Mendes & Claudio Menghi & Gerhard Goos & Juris Hartmanis & Elisa Bertino & Wen Gao & Bernhard Steffen & Gerhard Woeginger & Moti Yung
సంవత్సరం:
2021
భాష:
english
ఫైల్:
LIT , 5.52 MB
0 / 0
english, 2021
31
Graphical Models for Security

Graphical Models for Security

Harley Eades III & Olga Gadyatskaya & Gerhard Goos & Juris Hartmanis & Elisa Bertino & Wen Gao & Bernhard Steffen & Gerhard Woeginger & Moti Yung
సంవత్సరం:
2020
భాష:
english
ఫైల్:
PDF, 13.15 MB
0 / 5.0
english, 2020
32
Formal Methods Teaching

Formal Methods Teaching

João F. Ferreira & Alexandra Mendes & Claudio Menghi & Gerhard Goos & Juris Hartmanis & Elisa Bertino & Wen Gao & Bernhard Steffen & Gerhard Woeginger & Moti Yung
సంవత్సరం:
2021
భాష:
english
ఫైల్:
MOBI , 2.09 MB
0 / 0
english, 2021
33
Lecture Notes in Computer Science

Lecture Notes in Computer Science

Gerhard Goos, Juris Hartmanis & Jan van Leeuwen
సంవత్సరం:
2009
భాష:
english
ఫైల్:
FB2 , 2.04 MB
0 / 0
english, 2009
34
Lecture Notes in Computer Science

Lecture Notes in Computer Science

Gerhard Goos & Juris Hartmanis & Jan van Leeuwen
సంవత్సరం:
2008
భాష:
english
ఫైల్:
LIT , 3.10 MB
0 / 0
english, 2008
35
Formal Methods Teaching

Formal Methods Teaching

João F. Ferreira & Alexandra Mendes & Claudio Menghi & Gerhard Goos & Juris Hartmanis & Elisa Bertino & Wen Gao & Bernhard Steffen & Gerhard Woeginger & Moti Yung
సంవత్సరం:
2021
భాష:
english
ఫైల్:
FB2 , 7.71 MB
0 / 0
english, 2021